On Computable Numbers, with an Application to the Entscheidungsproblem

Alan Turing ,On Computable Numbers, with an Application to the Entscheidungsproblem,1936

本文

数学者ヒルベルトが出した、数学を完璧にしよう、数学で解けない問題はない　という「ヒルベルト・プログラム（決定問題）」があった。それに対し「数学には解けない問題がある」ことを示すために、チューリングマシンを考案した。

結論としてどんな機械でも解けない問題がある（停止性問題）こと、つまり、数学には解けない問題があるということを示した。